Horn_algorithm

Ilopoihsi algorithmou pou ipologizei kata poso mia logiki protasi einai ikanopoihsimi , diladi iparxei anathesi timwn pou tin kanoun true