База знаний на основе исчисления высказываний

Факты

Формулы исчисления высказываний

а1 – животное имеет шерсть а2 – животное кормит детенышей молоком а3 – млекопитающее а4 – животное имеет перья а5 – животное летает а5 – животное откладывает яйца а7 – птица а8 – животное ест мясо а9 – животное имеет острые зубы а10 – животное имеет когти а11 – имеет глаза, направленные вперед а12 – хищник а13 – имеет рыже - коричневый цвет а14 – имеет телесные пятна а15 – гепард а16 – имеет черные полосы а17 – тигр а18 – плавает а19 – пингвин а20 – альбатрос

(1) а1Úа2Éa3 (2) a4Ú(a5 Ùa6)Éa7 (3) a3Ù(a8Ú(a9Ùa10Ùa11))Éa12 (4) a12Ùa13Ùa14Éa15 (5) a12Ùa13Ùa16Éa17 (6) a7Ùa5Ùa18Éa19 (7) a7Ùa5Éa20