Lập trình logic: Biến đổi B: -AC: -A thành B, C: -A

Tôi hy vọng tôi đã đến đúng nơi ... đó (có lẽ) là một câu hỏi lập trình logic khá đơn giản.

Nếu tôi có hai mệnh đề có dạng: B:-A C:-A tôi có thể chuyển đổi chúng thành: B,C:-A

( Chỉnh sửa: kết hợp ở đâu B,CTuy nhiên, có một tên cho một phép biến đổi như vậy, tôi biết rằng mệnh đề kết quả không còn là mệnh đề Horn. )

Có ai biết nếu chuyển đổi này có một tên, và nếu vậy, bất cứ ai cũng có thể cung cấp một con trỏ (tốt nhất là trực tuyến) đến một nơi nào đó mô tả nó.

Rất cám ơn (từ một n00b).

$(A \supset B) \wedge (A \supset C)$$A \supset (B \wedge C)$$(B \supset A) \wedge (C \supset A)$$(B \vee C) \supset A$$A \supset B$$\supset$$\wedge$$\vee$

Những gì bạn đang cố gắng để làm là liên quan đến việc binarization chuyển đổi, được thảo luận trong McAllester của "Trên phân tích phức tạp của phân tích tĩnh." Có thể có một tên tốt hơn cho việc chuyển đổi, nhưng nếu vậy, các tác giả của bài báo " Một người giải quyết ngắn gọn cho ALFP " ( Một công thức liên kết của L East F ixed p là một sự khái quát hóa các mệnh đề Sừng cho đáy- lên các chương trình logic như của bạn) - trong ví dụ 1 trên trang 4, họ thảo luận về một phép biến đổi tương tự và chỉ gọi nó là "khai thác khả năng chia sẻ các điều kiện trước."

$mb:A\to B, mc:A\to C$$\langle mb, mc \rangle : A\to B\times C$