PanLinx
русский
rus-000
функция истинности
English
eng-000
truth function
PanLex
